<script>
    if (window.location.href.indexOf("demo.321zou") > -1) {
        window.location.href = "/mini/";
    } else if (window.location.href.indexOf("aviator.321zou") > -1) {
        window.location.href = "/mini/aviator.html";
    } else {
        window.location.href = "/ide/";
    }
</script>